Set Theory
Quick Info. Lectures of 90 minutes each.
Syllabus. Set theory is the formal axiomatic study of sets and is often used as the foundation for mathematics. The course treats Zermelo-Fraenkel set theory, ZF, formulated in first-order logic, beginning with a set theoretical construction of the natural and real number systems. Ordinal and cardinal numbers are presented and strong emphasis is placed on the cumulative hierarchy and on the role of the axiom of choice in the axiomatization of the concept of set.
Description. The course treats Zermelo-Fraenkel set theory, ZFC, formulated in first-order logic, beginning with a set theoretical construction of the natural and real number systems. Ordinal and cardinal numbers are presented and strong emphasis is placed on the cumulative hierarchy and on the role of the axiom of choice in the axiomatization of the concept of set.
Bibliography (for the lectures).